(* Content-type: application/vnd.wolfram.mathematica *)

(*** Wolfram Notebook File ***)
(* http://www.wolfram.com/nb *)

(* CreatedBy='Mathematica 10.4' *)

(*CacheID: 234*)
(* Internal cache information:
NotebookFileLineBreakTest
NotebookFileLineBreakTest
NotebookDataPosition[       158,          7]
NotebookDataLength[     17890,        638]
NotebookOptionsPosition[     12971,        481]
NotebookOutlinePosition[     15990,        568]
CellTagsIndexPosition[     15872,        562]
WindowTitle->OPESumSimplify
WindowFrame->Normal*)

(* Beginning of Notebook Content *)
Notebook[{
Cell[BoxData[GridBox[{
   {Cell["FEYN CALC SYMBOL", "PacletNameCell"], Cell[TextData[{
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "See Also",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"See Also", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"OPESum\"\>":>Documentation`HelpLookup[
       "paclet:FeynCalc/ref/OPESum"], "\<\"OPESumExplicit\"\>":>
       Documentation`HelpLookup["paclet:FeynCalc/ref/OPESumExplicit"]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"SeeAlso"]],
      LineSpacing->{1.4, 0}],
     "\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\[ThickSpace]\
\[ThickSpace]",
     Cell[BoxData[
      ActionMenuBox[
       FrameBox[
        InterpretationBox[Cell[TextData[{
          "URL",
          StyleBox[" \[FilledDownTriangle]", "AnchorBarArrow",
           StripOnInput->False]
         }]],
         TextCell[
          Row[{"URL", 
            Style[" \[FilledDownTriangle]", "AnchorBarArrow"]}]]],
        StripOnInput->False], {"\<\"FeynCalc/ref/OPESumSimplify\"\>":>
       None, "\<\"Copy Wolfram Documentation Center URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell["FeynCalc/ref/OPESumSimplify"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; Null], 
       Delimiter, "\<\"Copy web URL\"\>":>
       Module[{DocumentationSearch`Private`nb$}, 
        DocumentationSearch`Private`nb$ = NotebookPut[
           Notebook[{
             Cell[
              BoxData[
               MakeBoxes[
                Hyperlink[
                "http://reference.wolfram.com/language/FeynCalc/ref/\
OPESumSimplify.html"], StandardForm]], "Input", TextClipboardType -> 
              "PlainText"]}, Visible -> False]]; 
        SelectionMove[DocumentationSearch`Private`nb$, All, Notebook]; 
        FrontEndTokenExecute[DocumentationSearch`Private`nb$, "Copy"]; 
        NotebookClose[DocumentationSearch`Private`nb$]; 
        Null], "\<\"Go to web URL\"\>":>FrontEndExecute[{
         NotebookLocate[{
           URL[
            StringJoin[
             If[
              TrueQ[DocumentationBuild`Make`Private`wsmlinkQ$198997], 
              "http://reference.wolfram.com/system-modeler/", 
              "http://reference.wolfram.com/language/"], 
             "FeynCalc/ref/OPESumSimplify", ".html"]], None}]}]},
       Appearance->None,
       MenuAppearance->Automatic,
       MenuStyle->"URLMenu"]],
      LineSpacing->{1.4, 0}]
    }], "AnchorBar"]}
  }]], "AnchorBarGrid",
 GridBoxOptions->{GridBoxItemSize->{"Columns" -> {
     Scaled[0.65], {
      Scaled[0.34]}}, "ColumnsIndexed" -> {}, "Rows" -> {{1.}}, 
   "RowsIndexed" -> {}}},
 CellID->1],

Cell[TextData[{
 Cell["OPESumSimplify", "ObjectName"],
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{8, 0}],
    CacheGraphics->False],
   Spacer[8]]]],
 Cell[BoxData[""], "ObjectNameTranslation"]
}], "ObjectNameGrid"],

Cell[CellGroupData[{

Cell[BoxData[GridBox[{
   {"", Cell[TextData[{
     Cell[BoxData[
      RowBox[{"OPESumSimplify", "[", "exp", "]"}]], "InlineFormula"],
     " \[LineSeparator]",
     "simplifies OPESum's in exp."
    }]]}
  }]], "Usage",
 GridBoxOptions->{
 GridBoxBackground->{
  "Columns" -> {{None}}, "ColumnsIndexed" -> {}, "Rows" -> {{None}}, 
   "RowsIndexed" -> {}}},
 CellID->982511436],

Cell[CellGroupData[{

Cell[TextData[Cell[BoxData[
 ButtonBox[Cell[TextData[{
   Cell[BoxData[
    InterpretationBox[
     StyleBox[
      GraphicsBox[{},
       BaselinePosition->Baseline,
       ImageSize->{6, 0}],
      CacheGraphics->False],
     Spacer[6]]]],
   "Details"
  }], "NotesFrameText"],
  Appearance->{Automatic, None},
  BaseStyle->None,
  ButtonFunction:>(FrontEndExecute[{
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], All, ButtonCell], 
     FrontEndToken["OpenCloseGroup"], 
     FrontEnd`SelectionMove[
      FrontEnd`SelectedNotebook[], After, CellContents]}]& ),
  Evaluator->None,
  Method->"Preemptive"]]]], "NotesSection",
 WholeCellGroupOpener->True,
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->711874916],

Cell["", "SectionHeaderSpacer"],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"Options", "[", "OPESumSimplify", "]"}]], "Input",
 CellLabel->"In[34]:="],

Cell[BoxData[
 FormBox[
  RowBox[{"{", 
   RowBox[{"Assumptions", "\[Rule]", "True"}], "}"}], 
  TraditionalForm]], "Output",
 ImageSize->{135, 16},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellLabel->"Out[34]="]
}, Open  ]]
}, Closed]]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "PrimaryExamplesSection",
 WholeCellGroupOpener->True,
 CellTags->"PrimaryExamplesSection",
 CellID->506684748],

Cell[CellGroupData[{

Cell[TextData[{
 "Basic Examples",
 "\[NonBreakingSpace]\[NonBreakingSpace]",
 Cell["(1)", "ExampleCount"]
}], "ExampleSection", "ExampleSection",
 WholeCellGroupOpener->True,
 CellID->1243643099],

Cell[CellGroupData[{

Cell["\<\
OPESum[(-SOD[p])^(OPEi+1) SOD[p-q]^(OPEm-OPEi-2),{OPEi,0,OPEm}]\
\>", "Input",
 CellTags->"OPESumSimplify",
 CellLabel->"In[1]:=",
 CellID->301700583],

Cell[BoxData[
 FormBox[
  TagBox[
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"i", "=", "0"}], "m"], 
    RowBox[{
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{"-", 
        RowBox[{"(", 
         RowBox[{
          FormBox["\<\"\[CapitalDelta]\"\>",
           TraditionalForm], 
          FormBox["\<\"\[CenterDot]\"\>",
           TraditionalForm], 
          FormBox["p",
           TraditionalForm]}], ")"}]}], ")"}], 
      RowBox[{"1", "+", "i"}]], " ", 
     SuperscriptBox[
      RowBox[{"(", 
       RowBox[{
        FormBox["\<\"\[CapitalDelta]\"\>",
         TraditionalForm], 
        FormBox["\<\"\[CenterDot]\"\>",
         TraditionalForm], 
        FormBox["\<\"(\"\>",
         TraditionalForm], 
        FormBox[
         RowBox[{"p", "-", "q"}],
         TraditionalForm], 
        FormBox["\<\")\"\>",
         TraditionalForm]}], ")"}], 
      RowBox[{
       RowBox[{"-", "2"}], "-", "i", "+", "m"}]]}]}],
   HoldForm], TraditionalForm]], "Output",
 ImageSize->{268, 44},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"OPESumSimplify",
 CellLabel->"Out[1]=",
 CellID->843585068]
}, Open  ]],

Cell[CellGroupData[{

Cell["OPESumSimplify[%]", "Input",
 CellTags->"OPESumSimplify",
 CellLabel->"In[2]:=",
 CellID->603012719],

Cell[BoxData[
 FormBox[
  RowBox[{
   RowBox[{"(", 
    RowBox[{
     FormBox[
      FormBox["\[CapitalDelta]",
       TraditionalForm],
      TraditionalForm], 
     FormBox["\<\"\[CenterDot]\"\>",
      TraditionalForm], 
     FormBox[
      FormBox["p",
       TraditionalForm],
      TraditionalForm]}], ")"}], " ", 
   RowBox[{"(", 
    RowBox[{"-", 
     FormBox[
      TagBox[
       RowBox[{
        UnderoverscriptBox["\[Sum]", 
         RowBox[{"i", "=", "0"}], "m"], 
        RowBox[{
         SuperscriptBox[
          RowBox[{"(", 
           RowBox[{"-", "1"}], ")"}], "i"], " ", 
         SuperscriptBox[
          RowBox[{"(", 
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox[
             FormBox["p",
              TraditionalForm],
             TraditionalForm]}], ")"}], "i"], " ", 
         SuperscriptBox[
          RowBox[{"(", 
           RowBox[{
            FormBox[
             FormBox["\[CapitalDelta]",
              TraditionalForm],
             TraditionalForm], 
            FormBox["\<\"\[CenterDot]\"\>",
             TraditionalForm], 
            FormBox["\<\"(\"\>",
             TraditionalForm], 
            FormBox[
             RowBox[{
              FormBox["p",
               TraditionalForm], "-", 
              FormBox["q",
               TraditionalForm]}],
             TraditionalForm], 
            FormBox["\<\")\"\>",
             TraditionalForm]}], ")"}], 
          RowBox[{
           RowBox[{"-", "2"}], "-", "i", "+", "m"}]]}]}],
       HoldForm],
      TraditionalForm]}], ")"}]}], TraditionalForm]], "Output",
 ImageSize->{347, 46},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"OPESumSimplify",
 CellLabel->"Out[2]=",
 CellID->276666428]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"OPESumSimplify", "[", 
  RowBox[{
   RowBox[{"OPESum", "[", 
    RowBox[{"{", 
     RowBox[{"OPEi", ",", "0", ",", "OPEm"}], "}"}], "]"}], " ", 
   RowBox[{"a", "^", "OPEi"}]}], "]"}]], "Input",
 CellTags->"OPESumSimplify",
 CellLabel->"In[3]:=",
 CellID->341981151],

Cell[BoxData[
 FormBox[
  TagBox[
   RowBox[{
    UnderoverscriptBox["\[Sum]", 
     RowBox[{"i", "=", "0"}], "m"], 
    FormBox[
     SuperscriptBox["a", "i"],
     TraditionalForm]}],
   HoldForm], TraditionalForm]], "Output",
 ImageSize->{48, 44},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"OPESumSimplify",
 CellLabel->"Out[3]=",
 CellID->956192019]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"OPESumSimplify", "[", 
  RowBox[{
   RowBox[{"OPESum", "[", 
    RowBox[{
     RowBox[{"{", 
      RowBox[{"j", ",", "0", ",", "i"}], "}"}], ",", 
     RowBox[{"{", 
      RowBox[{"i", ",", "0", ",", "m"}], "}"}]}], "]"}], " ", 
   RowBox[{"a", "^", 
    RowBox[{"(", 
     RowBox[{"j", "-", "i"}], ")"}]}], " ", 
   RowBox[{"b", "^", "i"}]}], "]"}]], "Input",
 CellTags->"OPESumSimplify",
 CellLabel->"In[4]:=",
 CellID->445474412],

Cell[BoxData[
 FormBox[
  RowBox[{
   FormBox[
    TagBox[
     RowBox[{
      UnderoverscriptBox["\[Sum]", 
       RowBox[{"i", "=", "0"}], "m"], "\<\"\"\>"}],
     HoldForm],
    TraditionalForm], 
   FormBox[
    RowBox[{"\<\"\"\>", " ", 
     RowBox[{"(", 
      RowBox[{"i", "+", "1"}], ")"}]}],
    TraditionalForm], 
   FormBox[
    RowBox[{
     SuperscriptBox["b", "i"], " ", 
     SuperscriptBox["a", 
      RowBox[{"j", "-", "i"}]]}],
    TraditionalForm]}], TraditionalForm]], "Output",
 ImageSize->{142, 44},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"OPESumSimplify",
 CellLabel->"Out[4]=",
 CellID->630874009]
}, Open  ]],

Cell[CellGroupData[{

Cell[BoxData[
 RowBox[{"%", "//", "StandardForm"}]], "Input",
 CellTags->"OPESumSimplify",
 CellLabel->"In[5]:=",
 CellID->1811258609],

Cell[BoxData[
 RowBox[{"OPESum", "[", 
  RowBox[{
   RowBox[{
    SuperscriptBox["a", 
     RowBox[{
      RowBox[{"-", "i"}], "+", "j"}]], " ", 
    SuperscriptBox["b", "i"]}], ",", 
   RowBox[{"{", 
    RowBox[{"i", ",", "0", ",", "m"}], "}"}], ",", 
   RowBox[{"{", 
    RowBox[{"j", ",", "0", ",", "i"}], "}"}]}], "]"}]], "Output",
 ImageSize->{292, 25},
 ImageMargins->{{0, 0}, {0, 0}},
 ImageRegion->{{0, 1}, {0, 1}},
 CellTags->"OPESumSimplify",
 CellLabel->"Out[5]//StandardForm=",
 CellID->899717952]
}, Open  ]]
}, Open  ]],

Cell["", "SectionFooterSpacer"]
}, Open  ]],

Cell[CellGroupData[{

Cell[TextData[{
 Cell[BoxData[
  InterpretationBox[
   StyleBox[
    GraphicsBox[{},
     BaselinePosition->Baseline,
     ImageSize->{6, 0}],
    CacheGraphics->False],
   Spacer[6]]]],
 "See Also"
}], "SeeAlsoSection",
 WholeCellGroupOpener->True,
 CellID->1255426704],

Cell[TextData[{
 StyleBox[ButtonBox["OPESum",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/OPESum",
  ButtonNote->"OPESum"],
  FontFamily->"Verdana"],
 ", ",
 StyleBox[ButtonBox["OPESumExplicit",
  BaseStyle->"Link",
  ButtonData->"paclet:FeynCalc/ref/OPESumExplicit",
  ButtonNote->"OPESumExplicit"],
  FontFamily->"Verdana"],
 "."
}], "SeeAlso"]
}, Open  ]],

Cell[" ", "FooterCell"]
},
Saveable->False,
ScreenStyleEnvironment->"Working",
WindowSize->{725, 750},
WindowMargins->{{-10, Automatic}, {Automatic, -8}},
WindowTitle->"OPESumSimplify",
TaggingRules->{
 "ModificationHighlight" -> False, "ColorType" -> "SymbolColor", "LinkTrails" -> 
  GridBox[{{
      RowBox[{
        ButtonBox[
        "FeynCalc", ButtonData -> "paclet:FeynCalc/guide/FeynCalc", 
         BaseStyle -> {"Link", "DockedLinkTrail"}]}]}}, ColumnAlignments -> 
    Left], "HasOptions" -> False, "ExampleCounter" -> 1, "NeedPlatMsgIn" -> 
  None, "RootCaptions" -> "", 
  "Metadata" -> {
   "built" -> "{2020, 6, 20, 19, 9, 8.734001}", 
    "history" -> {"9.0", "", "", ""}, "context" -> "FeynCalc`", 
    "keywords" -> {}, "specialkeywords" -> {}, 
    "tutorialcollectionlinks" -> {}, "index" -> True, "label" -> 
    "Feyn Calc Symbol", "language" -> "en", "paclet" -> "FeynCalc", "status" -> 
    "None", "summary" -> "OPESumSimplify[exp] simplifies OPESum's in exp.", 
    "synonyms" -> {}, "tabletags" -> {}, "title" -> "OPESumSimplify", 
    "titlemodifier" -> "", "windowtitle" -> "OPESumSimplify", "type" -> 
    "Symbol", "uri" -> "FeynCalc/ref/OPESumSimplify"}, "SearchTextTranslated" -> 
  ""},
CellContext->"Global`",
FrontEndVersion->"10.4 for Linux x86 (64-bit) (April 11, 2016)",
StyleDefinitions->Notebook[{
   Cell[
    StyleData[
    StyleDefinitions -> FrontEnd`FileName[{"Wolfram"}, "Reference.nb"]]], 
   Cell[
    StyleData["Input"], CellContext -> "Global`"], 
   Cell[
    StyleData["Output"], CellContext -> "Global`"]}, Visible -> False, 
  FrontEndVersion -> "10.4 for Linux x86 (64-bit) (April 11, 2016)", 
  StyleDefinitions -> "Default.nb"]
]
(* End of Notebook Content *)

(* Internal cache information *)
(*CellTagsOutline
CellTagsIndex->{
 "PrimaryExamplesSection"->{
  Cell[5624, 178, 387, 15, 31, "PrimaryExamplesSection",
   CellTags->"PrimaryExamplesSection",
   CellID->506684748]},
 "OPESumSimplify"->{
  Cell[6257, 207, 160, 5, 27, "Input",
   CellTags->"OPESumSimplify",
   CellID->301700583],
  Cell[6420, 214, 1157, 41, 65, "Output",
   CellTags->"OPESumSimplify",
   CellID->843585068],
  Cell[7614, 260, 106, 3, 27, "Input",
   CellTags->"OPESumSimplify",
   CellID->603012719],
  Cell[7723, 265, 1926, 68, 67, "Output",
   CellTags->"OPESumSimplify",
   CellID->276666428],
  Cell[9686, 338, 290, 9, 27, "Input",
   CellTags->"OPESumSimplify",
   CellID->341981151],
  Cell[9979, 349, 387, 15, 65, "Output",
   CellTags->"OPESumSimplify",
   CellID->956192019],
  Cell[10403, 369, 456, 15, 27, "Input",
   CellTags->"OPESumSimplify",
   CellID->445474412],
  Cell[10862, 386, 658, 26, 65, "Output",
   CellTags->"OPESumSimplify",
   CellID->630874009],
  Cell[11557, 417, 134, 4, 27, "Input",
   CellTags->"OPESumSimplify",
   CellID->1811258609],
  Cell[11694, 423, 509, 17, 61, "Output",
   CellTags->"OPESumSimplify",
   CellID->899717952]}
 }
*)
(*CellTagsIndex
CellTagsIndex->{
 {"PrimaryExamplesSection", 14759, 524},
 {"OPESumSimplify", 14900, 528}
 }
*)
(*NotebookFileOutline
Notebook[{
Cell[586, 21, 3121, 75, 53, "AnchorBarGrid",
 CellID->1],
Cell[3710, 98, 291, 11, 45, "ObjectNameGrid"],
Cell[CellGroupData[{
Cell[4026, 113, 378, 12, 85, "Usage",
 CellID->982511436],
Cell[CellGroupData[{
Cell[4429, 129, 738, 24, 31, "NotesSection",
 CellGroupingRules->{"SectionGrouping", 50},
 CellID->711874916],
Cell[5170, 155, 31, 0, 70, "SectionHeaderSpacer"],
Cell[CellGroupData[{
Cell[5226, 159, 97, 2, 70, "Input"],
Cell[5326, 163, 237, 8, 37, "Output"]
}, Open  ]]
}, Closed]]
}, Open  ]],
Cell[CellGroupData[{
Cell[5624, 178, 387, 15, 31, "PrimaryExamplesSection",
 CellTags->"PrimaryExamplesSection",
 CellID->506684748],
Cell[CellGroupData[{
Cell[6036, 197, 196, 6, 26, "ExampleSection",
 CellID->1243643099],
Cell[CellGroupData[{
Cell[6257, 207, 160, 5, 27, "Input",
 CellTags->"OPESumSimplify",
 CellID->301700583],
Cell[6420, 214, 1157, 41, 65, "Output",
 CellTags->"OPESumSimplify",
 CellID->843585068]
}, Open  ]],
Cell[CellGroupData[{
Cell[7614, 260, 106, 3, 27, "Input",
 CellTags->"OPESumSimplify",
 CellID->603012719],
Cell[7723, 265, 1926, 68, 67, "Output",
 CellTags->"OPESumSimplify",
 CellID->276666428]
}, Open  ]],
Cell[CellGroupData[{
Cell[9686, 338, 290, 9, 27, "Input",
 CellTags->"OPESumSimplify",
 CellID->341981151],
Cell[9979, 349, 387, 15, 65, "Output",
 CellTags->"OPESumSimplify",
 CellID->956192019]
}, Open  ]],
Cell[CellGroupData[{
Cell[10403, 369, 456, 15, 27, "Input",
 CellTags->"OPESumSimplify",
 CellID->445474412],
Cell[10862, 386, 658, 26, 65, "Output",
 CellTags->"OPESumSimplify",
 CellID->630874009]
}, Open  ]],
Cell[CellGroupData[{
Cell[11557, 417, 134, 4, 27, "Input",
 CellTags->"OPESumSimplify",
 CellID->1811258609],
Cell[11694, 423, 509, 17, 61, "Output",
 CellTags->"OPESumSimplify",
 CellID->899717952]
}, Open  ]]
}, Open  ]],
Cell[12230, 444, 31, 0, 29, "SectionFooterSpacer"]
}, Open  ]],
Cell[CellGroupData[{
Cell[12298, 449, 270, 12, 31, "SeeAlsoSection",
 CellID->1255426704],
Cell[12571, 463, 358, 13, 56, "SeeAlso"]
}, Open  ]],
Cell[12944, 479, 23, 0, 41, "FooterCell"]
}
]
*)

(* End of internal cache information *)

